9. ‎How to solve it by computer‎

Author:

Library: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)

Subject: Computer algorithms,Programming languages (Electronic computers)

Classification :
005
.
1
D786H

11. Program derivation : the development of programs from specifications

Author:

Library: Library of Niroo Research Institue (Tehran)

Subject: ، Electronic digital computers- Programming

Classification :
QA
76
.
6
.
D77
1989